Knowledge representation and reasoning - PDFSEARCH.IO - Document Search Engine

Knowledge representation and reasoning
Results: 743

#	Item
421	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
422	NeOn Glossary of Activities Ontology Aligning refers to the activity of finding the correspondences between two or more ontologies and storing/exploiting them. A synonym for this activity is Ontology Mapping. Ontology An Add to Reading List Source URL: www.neon-project.org Language: English - Date: 2010-08-11 09:59:59 Information science Knowledge representation Knowledge Semantic Web Knowledge engineering Knowledge representation and reasoning Upper ontology Ontology engineering Science Information Ontology
423	Practical Artificial Commonsense Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:17 Knowledge representation Technical communication Project 985 University of Science and Technology of China Commonsense reasoning Ontology Information Knowledge Artificial intelligence Science Information science
424	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:15:53 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
425	Spatial Reasoning for the Semantic Web - Use Cases and Technological Challenges Heiner Stuckenschmidt University of Mannheim, Germany [removed] Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2009-09-18 04:58:21 Logic Cognitive science Educational psychology Knowledge representation Spatial–temporal reasoning Spatial database Geographic information system Description logic Semantic Web Reasoning Science Knowledge
426	The Cruncher: Automatic Concept Formation Using Minimum Description Length Marc Pickett and Tim Oates University of Maryland, Baltimore County, USA [removed] Add to Reading List Source URL: www.marcpickett.com Language: English - Date: 2013-01-04 12:47:48 Information Logic Knowledge representation Information science Technical communication Formal ontology Formal concept analysis Knowledge representation and reasoning Concept Ontology Science Cognition
427	Scalable Distributed Reasoning using MapReduce Jacopo Urbani, Spyros Kotoulas, Eyal Oren, and Frank van Harmelen Department of Computer Science, Vrije Universiteit Amsterdam, the Netherlands Abstract. We address the pro Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2009-08-14 02:46:41 Knowledge representation Concurrent computing Knowledge engineering RDF Distributed computing architecture MapReduce RDF Schema Semantic reasoner Function Semantic Web Computing Information
428	Computer-Supported Cooperative Work, 8, [removed]), pp[removed]Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems Frank M. Shipman III Add to Reading List Source URL: www.csdl.tamu.edu Language: English - Date: 2000-01-14 17:38:28 Knowledge Information science Information systems Groupware Hypertext Frame language Human–computer interaction Design rationale Knowledge representation and reasoning Knowledge engineering Science Knowledge representation
429	WUENIC – A Case Study in Rule-Based Knowledge Representation and Reasoning Robert Kowalski1 and Anthony Burton2,* 1 Imperial College London Add to Reading List Source URL: www.childinfo.org Language: English - Date: 2012-11-06 12:11:41 Knowledge Programming paradigms Critical thinking Logical consequence Arguments Prolog Inference Argumentation theory Knowledge representation and reasoning Logic Reasoning Science
430	KR & R © Brachman & Levesque[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-14 08:49:34 Artificial intelligence Knowledge Knowledge representation and reasoning Reasoning Scientific modeling Ronald J. Brachman Hector Levesque Epistemology Is-a Knowledge representation Year of birth missing Science

UPDATE